首页> 外文OA文献 >Explaining Gentzen’s Consistency Proof within infinitary Proof Theory

【2h】

Explaining Gentzen’s Consistency Proof within infinitary Proof Theory

机译：在无限证明理论中解释Gentzen的一致性证明

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Wilfried Buchholz;
展开▼
作者单位

展开▼
年度 1997
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Gentzen's consistency proof without heightlines [J] . Siders A. Archive for Mathematical Logic . 2013,第3a4期

机译：没有高度线的Gentzen一致性证明
2. Gentzen’s consistency proof without heightlines [J] . Annika Siders Archive for Mathematical Logic . 2013,第3a4期

机译：Gentzen的一致性证明，没有高度限制
3. Godel's reformulation of Gentzen's first consistency proof for arithmetic: The no-counterexample interpretation [J] . Tait WW The bulletin of symbolic logic . 2005,第2期

机译：戈德尔对根岑第一个算术一致性证明的重新表述：无反例解释
4. On Infinitary Proof Theory of Logics of Information and Common Belief [C] . Marta Bilkova International Workshop on Logic, Language, Information and Computation . 2019

机译：信息逻辑与共同信念的无限证明论
5. Interfacing compilers, proof checkers, and proofs for foundational proof-carrying code. [D] . Wu, Dinghao. 2005

机译：连接编译器，证明检查器和基础证明代码的证明。
6. Consistency-Proof for the Generalized Continuum-Hypothesis [O] . Kurt Gödel 1939

机译：广义连续假设的一致性证明
7. Gentzen’s original consistency proof and the Bar Theorem [O] . W. W. Tait 2015

机译：Gentzen的原始一致性证明和Bar定理
8. Mechanizing Proof Theory: Resource-Aware Logics and Proof Transformations toExtract Implicit Information [R] . Bellin, G. 1990

机译：机械化证明理论：资源意识逻辑和证明转换提取隐含信息

Explaining Gentzen’s Consistency Proof within infinitary Proof Theory

著录项

引文网络

相似文献

相关主题

期刊订阅